As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

En 1501, Mario Equicola concluye el _Perigynaecon_, la única obra filógina que el humanista de Alvito compondría en toda su vida. Este tratado se idea con una clara finalidad instrumental, pues el autor deseaba entrar al servicio de Isabella d’Este, marquesa consorte de Mantua. Precisamente por ello, tras cada uno de los argumentos que Equicola presenta y detrás de cada una de las mujeres ejemplares que menciona para ensalzar el valor femenino a lo largo de la historia se pueden establecer (...) paralelismos más o menos claros con los problemas que Isabella tuvo que afrontar en su primera década en la corte mantuana. En este artículo analizamos la función que Veturia desempeña en el seno del elenco de mujeres ejemplares del _Perigynaecon_ y profundizamos en algunos de los motivos que podrían haber empujado a Equicola a decantarse por incluir a la madre de Coriolano entre las mujeres a las que alude en su tratado. (shrink)

According to Ramsey (Representation reconsidered, Cambridge University Press, New York, 2007 ), only classical cognitive science, with the related notions of input–output and structural representations, meets the job description challenge (the challenge to show that a certain structure or process serves a representational role at the subpersonal level). By contrast, connectionism and other nonclassical models, insofar as they exploit receptor and tacit notions of representation, are not genuinely representational. As a result, Ramsey submits, cognitive science is taking a U-turn from (...) representationalism back to behaviourism, thus presupposing that (1) the emergence of cognitivism capitalized on the concept of representation, and that (2) the materialization of nonclassical cognitive science involves a return to some form of pre-cognitivist behaviourism. We argue against both (1) and (2), by questioning Ramsey’s divide between classical and representational, versus nonclassical and nonrepresentational, cognitive models. For, firstly, connectionist and other nonclassical accounts have the resources to exploit the notion of a structural isomorphism, like classical accounts (the beefing-up strategy); and, secondly, insofar as input–output and structural representations refer to a cognitive agent, classical explanations fail to meet the job description challenge (the deflationary strategy). Both strategies work independently of each other: if the deflationary strategy succeeds, contra (1), cognitivism has failed to capitalize on the relevant concept of representation; if the beefing-up strategy is sound, contra (2), the return to a pre-cognitivist era cancels out. (shrink)

Se discuten varias concepciones con respecto al carácter normativo de la filosofía de la ciencia. De entre éstas, se aboga por una forma de naturalismo comprometido con la necesidad de discutir los valores (epistémicos o no) de la ciencia. El ejemplo de la "ciencia reguladora" ilustra esa necesidad.

In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the “Three-valued BCK-logic”. As a consequence we find an axiomatic definition of the above system.

In this paper we consider twelve classical laws of negation and study their relations in the context of BCK-algebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK-algebras with minimum. As a consequence we obtain a theorem relating those algebras to Boolean algebras.

The Purpose in Life Test is a measure of purpose in life widely used in many cultures and countries; however, cross-cultural assessments are scarce. The present study aimed to evaluate the cross-cultural measurement invariance of the PIL in the general population of seven Latin American countries. A total of 4306 people participated, selected by non-probabilistic convenience sampling, where Uruguay has the highest mean age ; while Ecuador has the lowest mean age. Furthermore, in each country, there is a higher proportion (...) of women than men. Using Multi-Group Confirmatory Factor Analysis, the factorial structure does not show evidence of invariance among the included countries. However, based on the Multi-Group Factor Analysis Alignment, there is evidence that a three-dimensional structure of the PIL is the same in the participating countries. Results based on item response theory indicate that most PIL items can significantly differentiate responses according to the level of life purpose. In addition, people with low life purpose will tend to choose the lower response alternatives on the PIL; while people with higher life purpose will choose higher response alternatives. The findings indicate that the PIL has the potential to increase knowledge about how people conceive and experience their purpose in life in different countries. (shrink)

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

Many of our daily activities are now made more convenient and efficient by virtual assistants, and the day when they can be designed to instruct us in certain skills, such as those needed to make moral judgements, is not far off. In this paper we ask to what extent it would be ethically acceptable for these so-called virtual assistants for moral enhancement to use subtle strategies, known as “nudges”, to influence our decisions. To achieve our goal, we will first characterise (...) nudges in their standard use and discuss the debate they have generated around their possible manipulative character, establishing three conditions of manipulation. Secondly, we ask whether nudges can occur in moral virtual assistants that are not manipulative. After critically analysing some proposed virtual assistants, we argue in favour of one of them, given that by pursuing an open and neutral moral enhancement, it promotes and respects the autonomy of the person as much as possible. Thirdly, we analyse how nudges could enhance the functioning of such an assistant, and evaluate them in terms of their degree of threat to the subject’s autonomy and their level of transparency. Finally, we consider the possibility of using motivational nudges, which not only help us in the formation of moral judgements but also in our moral behaviour. (shrink)

An introduction to ecology, focusing on a single very common wild plant and its qualities which affect a variety of animals that come in contact with it.

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...) and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

The COVID-19 global health emergency has greatly impacted the educational field. Faced with unprecedented stress situations, professors, students, and families have employed various coping and resilience strategies throughout the confinement period. High and persistent stress levels are associated with other pathologies; hence, their detection and prevention are needed. Consequently, this study aimed to design a predictive model of stress in the educational field based on artificial intelligence that included certain sociodemographic variables, coping strategies, and resilience capacity, and to study the (...) relationship between them. The non-probabilistic snowball sampling method was used, involving 337 people from the university education community in south-eastern Spain. The Perceived Stress Scale, Stress Management Questionnaire, and Brief Resilience Scale were administered. The Statistical Package for the Social Sciences was used to design the architecture of artificial neural networks. The results found that stress levels could be predicted by the synaptic weights of coping strategies and timing of the epidemic, with a predictive capacity of over 80% found in the neural network model. Additionally, direct and significant associations were identified between the use of certain coping strategies, stress levels, and resilience. The conclusions of this research are essential for effective stress detection, and therefore, early intervention in the field of educational psychology, by discussing the influence of resilience or lack thereof on the prediction of stress levels. Identifying the variables that maintain a greater predictive power in stress levels is an effective strategy to design more adjusted prevention programs and to anticipate the needs of the community. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...) logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Repasamos brevemente la vida y la obra de Gaston Boissier (1823-1908) que perteneció a la gran generación de sabios que regeneró los estudios históricos en Francia durante la segunda mitad del siglo XIX. De entre todos ellos (Renan, Taine o Fustel de Coulanges) Boissier siempre contó con el favor del público tanto por sus monografías como por sus artículos, muchos de ellos aparecidos en la Revue des Deux Mondes (1829-). De su éxito da cuenta también el gran número de traducciones (...) aparecidas en castellano, tanto en España como en Iberoamérica. Finalmente, expondremos a modo de presentación de la traducción de su trabajo sobre la idea de humanitas, su concepción de la historia que habrá de rastrearse en sus escritos, pues nunca la expuso de forma sistemática. (shrink)

In this article I propose a new explanation of the relationship between Russell and ther first Wittgenstein. There are five main novelties in my interpretation; the use of all relevant unpublished manuscripts of Russell; the discovery of the first apparition of the “multiple theory of judgment” in a purely logical and unpublished context; the role of the Bradleian objection against relations in the evolution of the nation of form in both Russell and Wittgenstein; a general point of view to obtain (...) a common explanation of all the criticisms of Wittgenstein against Russell and of the abandonment to Theory of Knowledge; and the first account of the contribution of Whitehead to the progressive Russellian evolution from atomism to holism. (shrink)

This paper is devoted to show the development of some of the model-theoretic ideas which are clearly present in the main members of the Peano school (Peano himself, Burali-Forti, Pieri and Padoa) asa result of their conception of nominal definitions. Also, their semantic definition of logical consequence (Pieri, Padoa) is viewed as one of the outcomes of that conception. Some examples of their use of theexpression “nominal definition” are presented first. Second, the main advantages of this kind of definition, as (...) they saw them, are briefly explained, mainly in a philosophical context. Finally, already in the kernel of the paper, some of the details of the model-theoretic view itself are shown, first in Peano, then in Pieri and Padoa, including in both cases some study of their semantic definitions of logicalconsequence. (shrink)

In this paper an algebraic version for temporal algebras of the logical filtrations for modal and temporal logics is analysed. A structure theorem for free temporal algebras and also some results with regard to the variety of temporal algebras are obtained.

In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.

Regarding the epistemological borderlines between science and philosophy, this article approaches the human mind and ethics from biological and philosophical theories. For this purpose, the Darwinian theory of evolution by natural selection provides a scientific foundation to understand the human mind and ethics. However, not only Charles Darwin has studied mental faculties and ethics, this is also a topic researched by eminent contemporary paleontologists and biologists. Prior to modern biology, going back to Greek philosophy, philosophers have traditionally studied the human (...) mind and ethics, separating human beings and the rest of nature ontologically. Following modern biology, the philosopher Hans Jonas has developed a philosophical biology from the perspective of hermeneutical phenomenology to understand life. With the help of his hermeneutical phenomenology, Jonas has presented an ontological theory of organism-metabolism to understand the phenomenon of life from simple living beings to the human mind in relation to nature, based on the body. Recently, the evolutionary biologist Francisco Ayala has proposed a coherent scientific and philosophical theory about biological and cultural roots for ethics, considering the evolution of human mental and intellectual capacities and the three conditions for ethical behavior as a part of human intellectual capacity, which scientifically complements and informs Hans Jonas’s philosophical biology and ethics of responsibility. (shrink)